Regular Loops ssively Parallel Systems

نویسنده

  • Chun Gong
چکیده

Distributed-memory systems can incorporate thousands of processors at a reasonable cost. However, with an increasing number of processors in a system, fault detection and fault tolerance become critical issues. By replicating the computation on more than one processor and comparing the results produced by these processors, errors can be detected. During the execution of a program, due to data dependencies, typica a multiprocessor system are busy at all times. Therefore processor schedules contain idle time slots and oal of this work to exploit these idle time slots to schedule duplicated computation for the purpose of fault detecti ssisted approach to fault detection in regular loops on distributed-memory systems. This approac duplicating the execution of statement instances. After carefully analyzing the data dependencies of a regular loop, selected instances of loop statements are duplicated in a way that ensures the desired fault coverage. We first presen n strategies for fault detection and show that these strategies use idle processor times for executing replicated statements er possible Next, we present loop transformations to implement these fault-detection strategies. Also, a general framewor ting appropriate loop transformations is developed. Experimental results performed on the CRAY-T3D show that the overhead of adding the fault detection capability is usually less than 25%, and is less than 10% when communication overhead is reduced by grouping messages

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Implementation of Interprocedural Bounded Regular Section Analysis

Optimizing compilers should produce eecient code even in the presence of high-level language constructs. However, current programming support systems are signiicantly lacking in their ability to analyze procedure calls. This deeciency complicates parallel programming, because loops with calls can be a signiicant source of parallelism. We describe an implementation of regular section analysis, w...

متن کامل

Deriving Dependence Graphs of Regular Algorithms and their Transformations – the Main Stage in ASIC and FPGA-based Architectures Design

The simple and feasible for CAD implementation method of deriving dependence graphs of regular algorithms and several examples of pupposive graph transformations are represented in this paper, which allow to derive the architectures of application specific parallel systems with desired features. Now this method is realized as a first part of the CAD-environment for designing of the application ...

متن کامل

AN OPTIMAL FUZZY SLIDING MODE CONTROLLER DESIGN BASED ON PARTICLE SWARM OPTIMIZATION AND USING SCALAR SIGN FUNCTION

This paper addresses the problems caused by an inappropriate selection of sliding surface parameters in fuzzy sliding mode controllers via an optimization approach. In particular, the proposed method employs the parallel distributed compensator scheme to design the state feedback based control law. The controller gains are determined in offline mode via a linear quadratic regular. The particle ...

متن کامل

Eeective Lossy Queue Languages

Although the set of reachable states of a lossy channel system (LCS) is regular, it is well-known that this set cannot be constructed eeectively. In this paper, we characterize signiicant classes of LCS for which the set of reachable states can be computed. Furthermore, we show that, for slight generatlizations of these classes, computability can no longer be achieved. To carry out our study, w...

متن کامل

Series Parallel Digraphs with Loops Graphs Encoded by Regular Expression

In the conversion of finite automata to regular expressions, an exponential blowup in size can generally not be avoided. This is due to graph-structural properties of automata which cannot be directly encoded by regular expressions and cause the blowup combinatorially. In order to identify these structures, we generalize the class of arc-series-parallel digraphs beyond the acyclic case. The res...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004